/******************************************************************************
* This file is part of is32p218 platform,
* Copyright (c) 2009 HangZhou InfoStrong CO.,LTD. All rights reserved.
* This software may only be used under the terms of a valid, current,
* end user license from InfoStrong.
* Nothing else gives you the right to use this software.   
*
* Name:   os_port.h
* Desc:   OS Hardware Abstract Layer Header File
* Author: Jerry
* Date:   2009-9-15
* Note:   
* History:
*
******************************************************************************/
#ifndef __OS_HAL_H__
#define __OS_HAL_H__

#ifdef __cplusplus
extern "C" {
#endif


void isOS_HalTickIsr( void );
void isOS_HalTickSetup( void );
void isOS_HalNOP( void );


#ifdef __cplusplus
}
#endif

#endif /*__OS_HAL_H__*/



